Software map - PDFSEARCH.IO - Document Search Engine

Software map
Results: 2073

#	Item
231	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
232	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
233	Multi-Agent Systems for Web-Based Map Information Retrieval1 Maozhen Li, Sheng Zhou and Christopher B. Jones Deptartment of Computer Science Cardiff University, Cardiff Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2005-12-13 09:43:37 Knowledge representation Computing Information science Semantic Web Technical communication Software agent Scalable Vector Graphics User interface Open Biomedical Ontologies Ontology Information Science
234	Microsoft Word - 2 HOW TO_use the sites at risk map Add to Reading List Source URL: www.scharp.co.uk Language: English - Date: 2013-07-26 06:09:10 Google Digital media Keyhole Markup Language Route planning software World Wide Web Computing Bing
235	SEAL Systems Solution Map Branchen Add to Reading List Source URL: www.sealsystems.de Language: English - Date: 2009-07-03 10:47:33 SAP AG Information technology management SAP SAP NetWeaver XApps Business software ERP software Open Travel Alliance
236	B.Baldin MRC STATUS REGISTER MANUAL The original MRC status bit map (that can be found in MUON READOUT CARD SPECIFICATION datedhas been changed to accommodate software requirements. The new map is show Add to Reading List Source URL: d0server1.fnal.gov Language: English - Date: 1998-09-02 11:44:14 Binary arithmetic Mask
237	Eslang Definitions Eslang is a term tree representation of E code. It is an implementation form, in which many elements of kernel E are already compiled. Specifically: Return guards and value guards are compiled in and Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-13 09:28:53 Smalltalk Expr Map Perl Subroutines Computing Software engineering Computer programming
238	Zef : A Computer Vision Library for Haskell Saumitro Dasgupta Department of Computer Science Stanford University Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Functional languages Higher-order functions Haskell Literate programming OpenCV Map Fold ML Function Software engineering Computing Computer programming
239	ER-flow Application Description Template Application Name: Synoptical Table of the Surface of the Sun Application domain: Heliophysics Brief application description This workflow retrieves a map of the Surface of the Su Add to Reading List Source URL: www.erflow.eu Language: English Application software Science Windows Workflow Foundation Bioinformatics workflow management systems Workflow technology Workflow Business
240	Sign up to the google map http://bit.ly/JW13_map A: B: C: Add to Reading List Source URL: dezentrale.eu Language: English - Date: 2012-11-01 13:25:09 Software Business process Coworking Management Twitter Bitly Facebook World Wide Web Social media Computing

UPDATE